Farzan, Azadeh: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Bayesian Critical Values for Lawshe's Content Validity Ratio

Baghestani, Ahmad Reza, Ahmadi, Farzane, Tanha, Azadeh, Meshkat, Mojtaba

Journal:

Measurement and Evaluation in Counseling and Development

Year:

2017

Language:

english

File:

PDF, 626 KB

english, 2017

2

Partial Order Reduction for Rewriting Semantics of Programming Languages

Azadeh Farzan, José Meseguer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 368 KB

english, 2007

3

Generating effective tests for concurrent programs via AI automated planning techniques

Razavi, Niloofar, Farzan, Azadeh, McIlraith, Sheila A.

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 424 KB

english, 2014

4

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution

Farzan, Azadeh, Holzer, Andreas, Veith, Helmut

Year:

2015

Language:

english

File:

PDF, 280 KB

english, 2015

5

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 ||

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 16.55 MB

english, 2016

6

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 ||

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 18.28 MB

english, 2016

7

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Consistency analysis of decision-making programs

Chaudhuri, Swarat, Farzan, Azadeh, Kincaid, Zachary

Year:

2014

Language:

english

File:

PDF, 796 KB

english, 2014

8

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Proof Spaces for Unbounded Parallelism

Farzan, Azadeh, Kincaid, Zachary, Podelski, Andreas

Year:

2015

Language:

english

File:

PDF, 1.05 MB

english, 2015

9

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - PENELOPE

Sorrentino, Francesco, Farzan, Azadeh, Madhusudan, P.

Year:

2010

Language:

english

File:

PDF, 777 KB

english, 2010

10

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Verification of parameterized concurrent programs by modular reasoning about data and control

Farzan, Azadeh, Kincaid, Zachary

Year:

2012

Language:

english

File:

PDF, 674 KB

english, 2012

11

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Con2colic testing

Farzan, Azadeh, Holzer, Andreas, Razavi, Niloofar, Veith, Helmut

Year:

2013

Language:

english

File:

PDF, 443 KB

english, 2013

12

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Proofs that count

Farzan, Azadeh, Kincaid, Zachary, Podelski, Andreas

Year:

2014

Language:

english

File:

PDF, 1.12 MB

english, 2014

13

[ACM Press the ACM SIGSOFT 20th International Symposium - Cary, North Carolina (2012.11.11-2012.11.16)] Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12 - Predicting null-pointer dereferences in concurrent programs

Farzan, Azadeh, Madhusudan, P., Razavi, Niloofar, Sorrentino, Francesco

Year:

2012

Language:

english

File:

PDF, 1012 KB

english, 2012

14

Proof Spaces for Unbounded Parallelism

Farzan, Azadeh, Kincaid, Zachary, Podelski, Andreas

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.05 MB

english, 2015

15

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 501 KB

english, 2016

16

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || BDD-Based Boolean Functional Synthesis

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 498 KB

english, 2016

17

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 501 KB

english, 2016

18

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 623 KB

english, 2016

19

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Fast, Flexible, and Minimal CTL Synthesis via SMT

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 397 KB

english, 2016

20

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || A SAT-Based Counterexample Guided Method for Unbounded Synthesis

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 472 KB

english, 2016

21

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 483 KB

english, 2016

22

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 686 KB

english, 2016

23

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || Model Checking at Scale: Automated Air Traffic Control Design Space Exploration

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 1.08 MB

english, 2016

24

Verification of parameterized concurrent programs by modular reasoning about data and control

Farzan, Azadeh, Kincaid, Zachary

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 674 KB

english, 2012

25

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Under-Approximating Backward Reachable Sets by Polytopes

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 1.83 MB

english, 2016

26

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 544 KB

english, 2016

27

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 805 KB

english, 2016

28

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || Combining Model Learning and Model Checking to Analyze TCP Implementations

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 736 KB

english, 2016

29

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 1.15 MB

english, 2016

30

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || XSat: A Fast Floating-Point Satisfiability Solver

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 647 KB

english, 2016

31

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || Probabilistic Automated Language Learning for Configuration Files

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 302 KB

english, 2016

32

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Satisfiability Modulo Heap-Based Programs

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 794 KB

english, 2016

33

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || ParCoSS: Efficient Parallelized Compiled Symbolic Simulation

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 250 KB

english, 2016

34

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || A Practical Verification Framework for Preemptive OS Kernels

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 1.25 MB

english, 2016

35

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 365 KB

english, 2016

36

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Symbolic Optimal Reachability in Weighted Timed Automata

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 746 KB

english, 2016

37

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || Property Directed Equivalence via Abstract Simulation

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 886 KB

english, 2016

38

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Markov Chains and Unambiguous Büchi Automata

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 428 KB

english, 2016

39

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || PSCV: A Runtime Verification Tool for Probabilistic SystemC Models

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 912 KB

english, 2016

40

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 1.03 MB

english, 2016

41

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || Termination Analysis of Probabilistic Programs Through Positivstellensatz’s

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 442 KB

english, 2016

42

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || A Decision Procedure for Sets, Binary Relations and Partial Functions

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 575 KB

english, 2016

43

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || From Shape Analysis to Termination Analysis in Linear Time

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 775 KB

english, 2016

44

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || Solving Parity Games via Priority Promotion

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 709 KB

english, 2016

45

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || RV-Match: Practical Semantics-Based Program Analysis

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 497 KB

english, 2016

46

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 604 KB

english, 2016

47

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || A Simple Algorithm for Solving Qualitative Probabilistic Parity Games

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 589 KB

english, 2016

48

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9780 || Liveness of Randomised Parameterised Systems under Arbitrary Schedulers

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 471 KB

english, 2016

49

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || JayHorn: A Framework for Verifying Java programs

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 283 KB

english, 2016

50

[Lecture Notes in Computer Science] Computer Aided Verification Volume 9779 || PSI: Exact Symbolic Inference for Probabilistic Programs

Chaudhuri, Swarat, Farzan, Azadeh

Year:

2016

Language:

english

File:

PDF, 945 KB

english, 2016